基于能源互联网背景的储能二次电池技术发展分析

能源互联网是在现有配电网基础上,融合新能源技术和互联网技术,将分布式能源采集装置和分布式能源储存装置联合发展起来的新技术,对于优化能源结构和提高能源利用具有重要的意义。文章以能源互联网对储能电池的需求为背景,首先归纳了能源互联网对于储能电池的要求,在此基础上重点分析了多种可应用于能源互联网的储能电池的性能与特点,并对其未来发展趋势进行了展望。     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分，是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模，基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性，也表明了扩展标记变迁模型对于协议验证的有效性。     

论管理协议细栈MTS的构造

开放系统互连管理 OSIM 是 OSI 参考模型中定义的特定应用服务元素 SASE 之一,也是唯一涉及全部七层协议的服务元素。OSIM 在控制和协调 Multivendor 和 Multidomain系统中所起的作用已使它成为改进网络性能和服务水平的关键性因素。并非所有开放系统均能提供全七层支持,因此,本文提出一种管理协议细栈 MTS(Management Thin Stack)结构,讨论了它自身的构造性特及其在上述管理环境下的作用。     

协议测试中测试序列生成方法综述

文章在介绍协议一致性测试基本概念的基础上,重点列举了测试序列的几种生成方法。对目前广泛采用的形式化描述模型,重点介绍其中基于有限状态机模型的测试序列生成方法,同时对基于扩展有限状态机以及确定有限状态机的测试序列生成方法也进行了介绍。文章对每一种方法介绍了其原理并分析了其使用中的局限。文章最后指出了在协议测试中面临的问题和进一步研究的方向。     

战术互联网网络管理模型

战术互联网具有与一般通信网络不同的特征与要求,为此其网络管理需要采用新的方案来解决。采用模型分析方法,对战术互联网网络管理的活动模型、功能模型、组织模型、运行模型、通信模型与视图模型进行了分析研究,从而为战术互联网网络管理方案确立了总体框架,并为战术互联网网络管理系统设计提供了指导思路。基于所研究的模型,可以使战术互联网网络管理系统适应战术互联网的特殊性,满足战术互联网的作战运用需求,保障战术互联网充分发挥作战效能。     

ATM协议识别方法及其受系统误码分布的影响分析

分析了协议识别的概念,提出了用于ATM协议识别的策略及其状态机模型,建立了系统误码的分布模型,通过理论公式推导与仿真,重点对δ、α的取值及其对ATM协议识别概率的影响进行了分析。     

高校思想政治教育进网络势在必行

网络文化以其无法估计的力量冲击着人们原有的生活方式和思维方式,甚至影响着社会的政治、经济、文化和军事。在我国,高校大学生是网民的主体,这给高校思想政治教育带来机遇的同时也带来了挑战。能否把握机遇,迎接挑战将关系着高校思想政治教育的成败,影响着高校培养人才的质量。本文结合高校工作的实际,借鉴内地高校成功的经验,通过分析网络对大学生成长的影响,提出了加强网络时代高校思想政治教育的对策。     

基于整车虚拟道路行驶试验的车辆零部件疲劳分析

针对现有车辆零部件精确疲劳分析依赖成本高昂的实车试验的问题,提出了一种利用整车虚拟样机仿真分析零部件疲劳寿命的方法。该方法通过在ADAMS/CAR中用整车虚拟样机在虚拟道路模型上进行行驶试验,利用多体系统动力学基于模态坐标的求解特点,使用模态应力恢复技术准确还原出了用于零部件疲劳寿命分析的载荷历程。将该方法应用于某车辆双横臂前悬中的下控制臂,在较短的时间内获得了该零件的预测疲劳寿命、寿命安全系数及危险部位等信息。应用结果表明,该方法可作为汽车设计过程与测试过程中的有效试验手段。     

坦克数据通讯网中的协议分析

通过对坦克车内局域网1553B协议的分析,并与一般计算机通信标准局域网做对比,指出不能用标准局域网协议和纶构取代1553B协议。参考 ISO开放系统互连的协议模型,对1553B协议进行了分层设计和进一步构想。